Weighting Characteristic Test for Data Dependence Testing on Loops
نویسندگان
چکیده
منابع مشابه
Dependence Testing: Extending Data Flow Testing with Control Dependence
This paper presents a new approach to structural testing, called dependence testing. First we propose dependence oriented coverage criteria that extend conventional data flow oriented coverage criteria with control dependence. This allows one to capture the full dependence information of a program or specification systematically. We then describe a model checking-based approach to test generati...
متن کاملTesting for Duration Dependence with Discrete Data
We use a Monte Carlo study to examine the consequences of using continuous distribution models to test for duration dependence when the data are reported in a discrete format. This specification error leads to mistaken evidence of duration dependence for sample sizes and parameter values likely to arise in empirical studies. We present and evaluate an approach that circumvents the misspecificat...
متن کاملThe Power Test for Data Dependence
This paper introduces a data dependence decision algorithm, called the Power Test; the Power Test is a combination of Banerjee's Generalized GCD dependence algorithm and the Fourier-Motzkin method t o eliminate variables in a system of inequalities. In addition t o having certain advantages over previous dependence algorithms (such as increased precision, the ability t o handle multiple subscri...
متن کاملThe K Test: an Exact and Efficient Knowledge-based Data Dependence Testing Method for Parallelizing Compilers
Many different classes of multiprocessors have been designed and implemented in industry and academia. Therefore, it has become an important issue to develop parallelizing compiling techniques that can exploit the potential power of multiprocessors. In this paper, we concentrate on the fundamental phase, data dependence analysis, in parallelizing compilers. We propose a new approach that integr...
متن کاملA Randomness Test for Stable Data
In this paper, we propose a new method for checking randomness of non-Gaussian stable data based on a characterization result. This method is more sensitive with respect to non-random data compared to the well-known non-parametric randomness tests.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Technology Journal
سال: 2008
ISSN: 1812-5638
DOI: 10.3923/itj.2008.409.419